● disjonctif, disjonctive adjectif (bas latin disjonctivus) disjonctif nom masculin (bas latin disjonctivus) Se dit d'une particule qui indique une séparation entre les termes qu'elle relie (par exemple, ou, soit, ni).
Encyclopédie Universelle. 2012.
Forme normale disjonctive — Article principal : Calcul des propositions. En logique booléenne ou en Calcul des propositions, une forme normale disjonctive (FND) est une normalisation d une expression logique qui est une disjonction de clauses conjonctives. Elle est… … Wikipédia en Français
forme disjonctive normale — norminė disjunkcinė forma statusas T sritis automatika atitikmenys: angl. disjunctive normal form; DNF vok. disjungtive Normalform, f rus. дизъюнктивная нормальная форма, f pranc. forme disjonctive normale, f … Automatikos terminų žodynas
recherche disjonctive — disjunktyvioji paieška statusas T sritis automatika atitikmenys: angl. disjunctive search vok. disjunctive Suche, f rus. дизъюнктивный поиск, m pranc. recherche disjonctive, f … Automatikos terminų žodynas
disjonctif — disjonctif, ive [ disʒɔ̃ktif, iv ] adj. • 1534; lat. disjunctivus ♦ Qui disjoint, isole deux éléments logiques. ♢ Gramm. Particule, conjonction disjonctive (ex. ou, soit que, tantôt... tantôt). Subst. Les disjonctives. ♢ Log. Se dit d un jugement … Encyclopédie Universelle
Antilogie — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Calcul propositionnel — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Expression booléenne — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
